Buy Used and New Harald Ganzinger Books

Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985: 217 (Lecture Notes in Computer Science)

by Harald Ganzinger,Neil D. Jones

ISBN 13: 9783540164463

Format: Paperback (340 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings: 1705 (Lecture Notes in Computer Science)

by Harald Ganzinger,Andrei Voronkov,David McAllester

ISBN 13: 9783540664925

Format: Paperback (416 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later